Try again to get the ptrdiff_t printf right for 64-bit.
authoremellor@leeni.uk.xensource.com <emellor@leeni.uk.xensource.com>
Sun, 30 Oct 2005 18:22:31 +0000 (19:22 +0100)
committeremellor@leeni.uk.xensource.com <emellor@leeni.uk.xensource.com>
Sun, 30 Oct 2005 18:22:31 +0000 (19:22 +0100)
commit371261ea1b77d150b28d8dfcfe45f3c4e26f33c7
treeea9769b0706fb708ff3814b9080381cd93374377
parent94608ed8f30caf1ccd26df5f223f7806121f7f8e
Try again to get the ptrdiff_t printf right for 64-bit.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
xen/arch/x86/domain.c